Studying a Balance Scored Card-driven System Dynamics Model for Enhancing Hospital Key Performances
نویسندگان
چکیده
منابع مشابه
Verifying the Influences of Leadership Styles upon Organizational Performances: Balance-Scored Card Implementation as a Moderator
This study was intended to verify the effects of implementing the Balance-Scored Card (BSC) on the organizational performances by using BSC as the moderator. Managers and directors in smalland medium-sized enterprises (SMEs) in Taiwan’s electronics industry were interviewed and ROE data was sourced from Taiwan Economic Journal. This study adopted a simple random sampling method to sample the po...
متن کاملVerifying a Hotel Key Card System
Two models of an electronic hotel key card system are contrasted: a state based and a trace based one. Both are defined, verified, and proved equivalent in the theorem prover Isabelle/HOL. It is shown that if a guest follows a certain safety policy regarding her key cards, she can be sure that nobody but her can enter her room.
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملA Model-Driven Decision Support System for Software Cost Estimation (Case Study: Projects in NASA60 Dataset)
Estimating the costs of software development is one of the most important activities in software project management. Inaccuracies in such estimates may cause irreparable loss. A low estimate of the cost of projects will result in failure on delivery on time and indicates the inefficiency of the software development team. On the other hand, high estimates of resources and costs for a project wil...
متن کاملA Model-Driven Approach for Smart Card Configuration
The configuration of smart cards is a complex multi-level process. Addressing this process efficiently is a major challenge of the smart card industry. In the context of the forthcoming evolutions of smart card systems, we are ex-perimenting new configuration methods. We propose to rely on both model-driven engineering and software product lines to formalize and automate the smart card configur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Information Systems
سال: 2011
ISSN: 1229-8476
DOI: 10.5859/kais.2011.20.3.25